Thomas Reps：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (18)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

年:

2007

语言:

english

文件:

PDF, 4.51 MB

0 / 0

english, 2007

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

年:

2000

语言:

english

文件:

PDF, 2.40 MB

0 / 0

english, 2000

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

年:

2007

语言:

english

文件:

PDF, 4.02 MB

0 / 0

english, 2007

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

年:

2000

语言:

english

文件:

PDF, 4.73 MB

0 / 0

english, 2000

Generating Language-Based Environments

The MIT Press

Thomas W. Reps

年:

2004

语言:

english

文件:

PDF, 6.95 MB

0 / 0

english, 2004

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

年:

2002

语言:

english

文件:

PDF, 5.29 MB

0 / 0

english, 2002

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

年:

2007

语言:

english

文件:

PDF, 4.62 MB

0 / 0

english, 2007

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

年:

2007

语言:

english

文件:

PDF, 12.34 MB

0 / 5.0

english, 2007

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

年:

2002

语言:

english

文件:

PDF, 6.30 MB

0 / 0

english, 2002

Generating Language-based Environments

MIT

Thomas W. Reps

年:

1984

语言:

english

文件:

DJVU, 964 KB

0 / 0

english, 1984

Generating Language-Based Environments

Mit Press

Thomas W. Reps

年:

2004

语言:

english

文件:

PDF, 6.95 MB

0 / 5.0

english, 2004

The Synthesizer Generator Reference Manual

Springer

Thomas W. Reps, Tim Teitelbaum

年:

1989

语言:

english

文件:

PDF, 3.09 MB

0 / 0

english, 1989

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

年:

2006

语言:

english

文件:

PDF, 5.35 MB

0 / 0

english, 2006

The Synthesizer Generator: A System for Constructing Language-Based Editors

Springer

Thomas W. Reps, Tim Teitelbaum

年:

1989

语言:

english

文件:

PDF, 3.08 MB

0 / 0

english, 1989

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

年:

2007

语言:

english

文件:

PDF, 4.78 MB

0 / 0

english, 2007

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

年:

1988

语言:

english

文件:

DJVU, 4.14 MB

0 / 0

english, 1988

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

年:

1988

语言:

english

文件:

PDF, 11.17 MB

0 / 0

english, 1988

Analysis Techniques for Information Security

Morgan and Claypool Publishers

Somesh Jha, Anupam Datta, Ninghui Li, David Melski, Thomas Reps

年:

2010

语言:

english

文件:

PDF, 1.30 MB

0 / 0

english, 2010